Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
🎲Probabilistic Programming
Flag this post
Handbook of Satisfiability (2021)
🎯Constraint Programming
Flag this post
Weak-To-Strong Generalization
lesswrong.com·12h
🎲Probabilistic Programming
Flag this post
A Deep Dive into Gorm: Architecture, Workflow, Tips, and Troubleshooting for Go’
🧭SMT Solvers
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
🧩Theorem Proving
Flag this post
Speedrunning an RL Environment
⚙Functional Programming
Flag this post
A Short Introduction to Categorical Logic
youtube.com·3d
🔄Category Theory
Flag this post
Hybrid Neuro-Symbolic Reasoning for Adaptive Robotics Control in Dynamic Environments
🎲Probabilistic Programming
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
🎲Probabilistic Programming
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·2d
🧭SMT Solvers
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·2d
🧮Programming Language Theory
Flag this post
From Lossy to Lossless Reasoning
🔗Parser Combinators
Flag this post
DK-TGAN-ERRA: A data-knowledge-driven tabular GAN for synthesising cases applied to emergency rescue risk analysis
sciencedirect.com·18h
🧩Theorem Proving
Flag this post
Dangerous Logic - De Morgan & Programming
i-programmer.info·4d
🔢Mathematical Logic
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
⚙Functional Programming
Flag this post
Loading...Loading more...